Program logic - PDFSEARCH.IO - Document Search Engine

Program logic
Results: 2056

#	Item
341	An Introduction to Program Verification with the Coq Proof Assistant NII Lectures Series Fr´ed´eric Loulergue Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2013-11-04 20:56:12 Mathematical logic Proof theory Dependently typed programming Lambda calculus Logic in computer science Coq Curry–Howard correspondence Natural deduction Dependent type Programming language theory Type theory Mathematics
342	Replayer: Automatic Protocol Replay by Binary Analysis James Newsome, David Brumley, Jason Franklin, Dawn Song∗ Carnegie Mellon University Pittsburgh, PA, USA {jnewsome, Add to Reading List Source URL: bitblaze.cs.berkeley.edu Language: English - Date: 2013-03-28 20:19:28 Predicate transformer semantics Program logic KeY IP Function Algorithm NP Symbolic execution Communications protocol Theoretical computer science Mathematics Applied mathematics
343	Program Termination analysis using MAX-SMT∗ Daniel Larraz1 , Albert Oliveras1 , Enric Rodríguez-Carbonell1 , and Albert Rubio1 1 Universitat Politècnica de Catalunya, Barcelona, Spain Add to Reading List Source URL: www.imn.htwk-leipzig.de Language: English - Date: 2013-08-26 10:13:14 Electronic design automation Logic in computer science Satisfiability Modulo Theories Theoretical computer science Applied mathematics Constraint programming
344	The role of evaluation in driving grantmaking reform Kate Caldecott, Executive Director, Australian Institute of Grants Management Melbourne, August 24, 2012 Let’s begin at the beginning, with what was, by some account Add to Reading List Source URL: www.ourcommunity.com.au Language: English - Date: 2014-09-26 04:22:02 Program evaluation Logic model Next Magazine Evaluation methods Evaluation Sociology
345	Type-Safe Cast Stephanie Weirich ∗ Department of Computer Science Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:49:28 Program analysis Type system Lambda calculus Function Symbol Curry–Howard correspondence Mathematics Mathematical logic Type theory
346	BE-UT Behavioral Assumptions for a Class of Utility Theories: A Program of Experiments R. Duncan Luce Institute for Mathematical Behavioral Sciences, University of California, Add to Reading List Source URL: www.imbs.uci.edu Language: English - Date: 2014-11-04 13:01:49 Decision theory Mathematical logic Utility Universal property Group action Theory of conjoint measurement Abstract algebra Mathematics Algebra
347	Training Information 2015 Training Overview Express Logic offers a comprehensive training program at its state-of-the-art Add to Reading List Source URL: rtos.com Language: English - Date: 2015-03-23 16:34:36 Concurrency control Embedded operating systems Concurrent computing ThreadX Embedded system Thread Mutual exclusion Semaphore Multithreading Real-time operating systems Computer architecture Computing
348	Evaluation Briefs No 4. February 2009 Developing Process Evaluation Questions Add to Reading List Source URL: www.cdc.gov Language: English - Date: 2010-03-09 10:55:56 Methodology Impact assessment Program evaluation Logic model Health education Empowerment evaluation MEASURE Evaluation Evaluation Evaluation methods Sociology
349	INVARIANT RELATIONS: EVERYTHING YOU ALWAYS WANTED TO KNOW ABOUT LOOPS Ali Mili, NJIT NII, Tokyo, Japan December 27, 2011 Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2012-02-02 20:36:57 Quadratic forms Surgery theory Differential geometry Hoare logic Plancherel theorem for spherical functions Invariant Mathematics Program logic
350	INVARIANT RELATIONS: A CONCEPT FOR ANALYZING WHILE LOOPS Ali Mili, NJIT NII, Tokyo, Japan December 20, 2011 Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2012-02-02 20:36:57 Formal methods Control flow Program logic Loop invariant Invariant Predicate transformer semantics First-order logic Logic Software engineering Computing Mathematics

UPDATE